home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / sys / amiga / programmer / 6902 < prev    next >
Encoding:
Text File  |  1996-08-05  |  1.7 KB  |  35 lines
  1. Path: nada.kth.se!md94-tar
  2. From: md94-tar@nada.kth.se (Tomas Arvidsson)
  3. Newsgroups: comp.sys.amiga.programmer
  4. Subject: Re: 680X0 -> PPC translator?
  5. Date: 4 Apr 96 22:26:49 GMT
  6. Message-ID: <md94-tar.828656809@nada.kth.se>
  7. References: <31499F8E.26A9@netvision.net.il> <volker.0fw1@vb.franken.de> <315800D7.1854@sapiens.com> <volker.0g32@vb.franken.de> <315C198B.49C2@netvision.net.il> <volker.0g5w@vb.franken.de> <1996Apr2.230841.8275@scala.scala.com> <31640B0C.23F5@netvision.net.il>
  8. NNTP-Posting-Host: hemul.nada.kth.se
  9. Mime-Version: 1.0
  10. Content-Type: text/plain; charset=iso-8859-1
  11. Content-Transfer-Encoding: 8bit
  12.  
  13. In <31640B0C.23F5@netvision.net.il> Jack <avilev@netvision.net.il> writes:
  14.  
  15. >we're disscussing whether or not STATIC code translation is possible,
  16. >not dynamically. i claim it's very much possible Volker doesn't think so
  17. >and you probably won't either, but i did give a theoretical basis for my claim
  18. >and i'm not going to repeat cuz it's just too long.
  19.  
  20. Correct me if I'm wrong but isn't this very much like deciding whether
  21. two different programs compute the same thing without running them?
  22. If so then it is theoretically impossible to do it *in the general
  23. case* (look to G÷del for the proof). In other words you could do it
  24. for some but not all programs and you wouldn't know which until you
  25. ran it and saw the result (or lack thereof).
  26.  
  27. This analogy sounds plausible to me but I'm not an expert on
  28. computational theroy and it has been years since I, very briefly,
  29. looked into it so if someone can prove me wrong - do it.
  30.  
  31.  
  32. --
  33. Tomas Arvidson         *** md94-tar@nada.kth.se * d91tar@csd.uu.se  ***
  34.                        *** http://www.student.nada.kth.se/~md94-tar ***
  35.